Automatic programming

automatic verification of authentication protocols using genetic programming

implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...

Automatic Grading of Programming Exercises Automatic Grading of Programming Exercises

Automatic Programming of Robots Using Genetic Programming

The goal in automatic programming is to get a computer to perform a task by telling it what needs to be done, rather than by explicitly programming it. This paper considers the task of automatically generating a computer program to enable an autonomous mobile robot to perform the task of moving a box from the middle of an irregular shaped room to the wall. We compare the ability of the recently...

Mathematics " Automatic Programming

Since the development of FORTRAN fifteen years ago we have observed a steady growth in the development of that part of computer science that deals with programming. In particular, there has been an outstanding development in programming languages: we can say more—and in a more natural fashion—to the computer and its attendant service programs to get our tasks accomplished. Our programming langu...

Approaches to Automatic Programming

This paper is an overview of current approaches to automatic programming organized around three fundamental questions that must be addressed in the design of any automatic programming system: What does the user see? How does the system work? What does the system know? As an example of a research effort in this area, we focus the Programmerś Apprentice project. Advances in Computers, Volume 37, ...